location |
trace |
/var/opt/lsb/test/olver-core/2014-01-29_05-08-38/util_float_scenario.utz (util_float_scenario.utt), line 16286 |
occurence |
scenario |
util_float_scenario |
specification function |
nexttoward_spec() |
parameter value |
CallContext context = [pid=8040,thr=b7498700] |
parameter value |
Unifloat * @x = (long double) -3.6451995318824746025284059336194198e-4951 (-0x.8000000000000000P-16444L) |
parameter value |
Unifloat * x = (long double) -3.6451995318824746025284059336194198e-4951 (-0x.8000000000000000P-16444L) |
parameter value |
Unifloat * @y = (long double) -0.0000000000000000000000000000000000e+00 (-0x.0000000000000000P1L) |
parameter value |
Unifloat * y = (long double) -0.0000000000000000000000000000000000e+00 (-0x.0000000000000000P1L) |
parameter value |
ErrorCode * @errno = EOK |
parameter value |
ErrorCode * errno = EOK |
return value |
(Unifloat *) (long double) -0.0000000000000000000000000000000000e+00 (-0x.0000000000000000P1L) |
coverage & branch |
C x - normal, y - normal, x<y |
properties |
REQ failed |
nexttowardl.09.01.01 |
REQ failed |
nexttowardl.09.02.01 |
kind |
POSTCONDITION_FAILED |